Python divmod built-in